101. Mathematical foundations of programming semantics:international
المؤلف: MELTON,AUSTIN
المکتبة: (طهران)
موضوع: PROGRAMMING LANGUAGES )ELECTRONIC , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
M38
1985
102. Modern language models and computation : theory with applications
المؤلف: Meduna, Alexander, 7591-
المکتبة: (طهران)
موضوع: ، Mathematical linguistics,، Programming languages )Electronic computers(,، Computational linguistics,، Computer systems
رده :
P
138
.
M43M6
103. On Conceptual modelling
المؤلف: / Michael L. Bordie, John Mylopolous, Joachim Schmidt W.
المکتبة: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع: Digital computer simulation,Artificial interlligence,Data base management,Programming languages(Electronic computers--Business
رده :
QA
76
.
9
.
C6505
1984
104. On conceptual modelling : perspectives from artificial intelligence, database, and programming languages
المؤلف: edited by Michael L. Brodie, John Mylopoulos, Joachim W. schmidt
المکتبة: (طهران)
موضوع: ، Digital computer simulation,، Artificial intelligence,، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65O5
1984
105. Ordinateurs, Programmation , et langues naturelles
المؤلف: / Par Jacques Andr`e et Catherine Fuchs,Andre
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming,Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
6
.
A5
106. Ordinateurs programmation et langues nat urelles
المؤلف: / Jacques Andre, Catherine Fuchs
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
001
.
642
An-O
107. Perspectives on computer science; from the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic Computers(-- Congresses
رده :
QA
75
.
5
.
P47
108. Pl/i for scientific programmers
المؤلف: FIKE,C T
المکتبة: (طهران)
موضوع: PL/I )COMPUTERS PROGRAM LANGUAGES( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
F44
109. Practical Rails social networking sites /
المؤلف: Alan Bradburne.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Ruby on rails (Electronic resource),Online social networks.,Web site development.,COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.,Informatique.,Online social networks.,Online social networks.,Ruby (Computer language),Web site development.,Web site development.,Web sites-- Design.
رده :
TK5105
.
888
.
B72
2007eb
110. Principles of functional programming
المؤلف: Glaser, Hugh
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
H3337
1984
111. Principles of functional programming
المؤلف: GLASER,HUGH
المکتبة: (طهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES )ELECTRONIC
رده :
QA
76
.
6
.
G53
112. Principles of functional programming
المؤلف: Glaser, Hugh
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
H3337
1984
113. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
المؤلف: sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2003
114. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
المؤلف: / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
76
.
7
.
S97
1991
115. Proceedings 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, maryland
المؤلف: sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery / SIGSOFT
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming - Congresses , Software engineering - Congresses, Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1993
116. Proceedings 16th International Conference on Software Engineering, May 16-21, 1994, Sorrento, Italy
المؤلف: sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Software Engineering )SIGSOFT(, Associazione Italiana per l Informatica ed il Calcolo Automatico )AICA(
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming - Congresses , Software engineering - Congresses , Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1994
117. Programmation en langages binaire et symbolique. Avec exercices
المؤلف: / More Thorin
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
001
.
6424
Th-M
118. Programmierung elektronischer Rechenanlagen
المؤلف: Muller, Dieter
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
M77
119. Programming
المؤلف: Maurer
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers - Programming
رده :
QA
76
.
5
.
M325
120. Programming; an introduction to computer techniques
المؤلف: Maurer, Ward Douglas
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M39
1972
